Scalable Incremental Test-case Generation from Large Behavior Models
نویسندگان
چکیده
ed Fig. 1: Test-case execution M1 Mn ^ TCG input seq. (a) Mi TCG partial input seq. TCGinc ^ M1 Mn input seq. (b) Fig. 2: Test-case generation: (a) monolithic; and (b) incremental Structure. In Section 2 we briefly recall the requirement interfaces modeling language and our incremental test-case generation procedure for such models. Section 3 and 4 present the wheel loader and the railway interlocking station case studies, respectively. In Section 5 we discuss the related work and Section 6 concludes the paper by giving hints on future work.
منابع مشابه
Incremental Runtime-generation of Optimisation Problems using RAG-controlled Rewriting
In the era of Internet of Things, software systems need to interact with many physical entities and cope with new requirements at runtime. Self-adaptive systems aim to tackle those challenges, often representing their context with a runtime model enabling better reasoning capabilities. However, those models quickly grow in size and need to be updated frequently with small changes due to a high ...
متن کاملUML-Based Statistical Test Case Generation
For incremental iterative software development processes, automated testing is necessary to enable evolution not only in terms of functionality, but in terms of software quality as well. Automation requires models to provide the necessary information. Scenarios and use cases do not only feed requirements engineering, they may also be the basis for testing. They have to be enriched by detailed b...
متن کاملDelta-Oriented FSM-Based Testing
We use the concept of delta-oriented programming to organize FSM-based test models in an incremental structure. We then exploit incremental FSM-based testing to make efficient use of this high-level structure in generating test cases. We show how our approach can lead to more efficient test-case generation, both by analyzing the complexity of the test-case generation algorithm and by applying t...
متن کاملScalable Graph Query Evaluation and Benchmarking with Realistic Models
Model queries are widely used in model-driven engineering toolchains: models are checked for errors with validation queries, model simulations and transformations require complex pattern matching, while injective mappings for views are defined with model queries. Efficient and scalable evaluation of complex queries on large models is a challenging task. To achieve scalable graph query evaluatio...
متن کاملIncremental Refinement Checking for Test Case Generation
We combine model-based testing and mutation testing to automatically generate a test suite that achieves a high mutation adequacy score. The original model representing the system under test is mutated. To generate test cases that detect whether a modelled fault has been implemented, we perform a refinement check between the original and the mutated models. Action systems serve as formal models...
متن کامل